<html>
  <head>
  <script type="text/javascript">
     function insertScriptElementAndReportSuccess() {
       var s = document.createElement("script");
       s.type = "text/javascript"
       s.src = "included_script.js";
       s.onload = () => { window.domAutomationController.send(true); }
       s.onerror = () => { window.domAutomationController.send(false); }
       document.head.appendChild(s);
     }
  </script>
  </head>
</html>
